Buy Used and New Michael Yoeli Books

Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (Wiley Series on Parallel and Distributed Computing)

by Michael Yoeli,Rakefet Kol

ISBN 13: 9780471704492

Format: Hardcover (231 pages)
Publisher: Wiley-Blackwell
Published: 15 Apr 2008

Save for later